推荐几个代码静态分析工具

关注+星标公众号，不错过精彩内容

作者 | strongerHuang

微信公众号 | 嵌入式专栏

大家平时写代码，有用代码静态分析工具，进行分析过吗？

可能很多人都没有对代码进行过静态分析，今天就来给大家推荐几个代码静态分析工具。

嵌入式专栏

0

关于代码静态分析工具

代码静态分析工具，顾名思义就是对代码进行静待分析，以提前预判（分析出）代码潜在的一些问题的工具。

换句话说，就是通过工具找出你代码的bug（错误、警告）。

代码静态分析工具需要你的代码遵循一定规范，比如遵循C99、MISRA C：2012等，不然工具不支持对你代码的静态分析。

代码静态分析工具有独立存在的（就是一款软件工具），也有集成在IDE中的。比如比如：IAR EWARM就自带静待分析工具。

同时，有些工具支持通过“安装插件”的形式集成在IDE中，比如：在keil MDK中添加PC-lint代码静态分析工具。

下面给大家介绍几个款代码静待分析工具：

嵌入式专栏

1

LDRA

1.网址

https://www.ldra.com/

2.介绍

LDRA是拥有40多年经验的领先公司，LDRA主要针对代码安全和业务关键市场的代码分析和软件测试自动化的软件市场，以实现代码的早期错误识别并消除bug。

同时，LDRA完全符合行业标准，通过静态和动态分析跟踪要求，以对各种硬件和软件平台进行单元测试和验证。LDRA的业务遍及全球，在英国，美国，德国和印度设有总部，并拥有广泛的分销商网络。

LDRA符合 ISO 9001：2008。LDRA工具套件已通过TÜVSÜD 和SGS-TÜVSAAR 认证。这些工具符合IEC 61508，IEC 62304，IEC 60880，EN 50128和ISO 26262的规定，可用于与安全相关的软件开发。

应用领域：

3.特点

• 自动化单元测试和系统级测试

• 自动生成软件认证和批准证据

• 规划和执行基于需求的测试

• 对直至目标级别的所有代码执行和报告覆盖率分析

• 几乎可以在任何主机或目标平台上进行单元测试和系统级测试

• 符合编码标准（行业和用户定义）

4.试用

LDRA工具套件支持30天免费试用。

嵌入式专栏

2

Parasoft C / C ++ test

1.网址

https://www.parasoftchina.com/products/ctest/

2.介绍

Parasoft® C/C++test® 是专业针对C和C++语言的开发测试方案，经广泛证明能提高软件开发效率和代码质量的自动化最佳实践解决方案。

Parasoft 公司成立于1987年，总部位于加利福尼亚州的洛杉矶。有着30多年的丰富的专业技术积累和行业应用经验，产品横跨单元测试、静态分析、动态分析、功能测试、压力测试、信息安全测试、通信协议仿真、应用环境虚拟化等。

3.特点

• 提升C/C++开发软件质量

• 自动化测试平台

• 遵从性认证标准

• 嵌入式和跨平台开发

• 提升开发效率，加速软件交付

• 低成本学习，高度可定制化

4.支持广泛平台

支持主机平台：

• Windows
• Visual Studio
• Solaris UltraSPARC

支持IDE：

• Eclipse IDE for Developers
• Microsoft Visual Studio
• Wind River Workbench
• ARM Workbench IDE for RVDS
• ARM Development Studio
• QNX Momentics IDE (QNX Software Development Platform)
• Texas Instruments Code Composer Studio
• ARM ADS
• Green Hills MULTI
• IAR Embedded Workbench
• Keil µVision IDE
• Keil RealView
• Microsoft eMbedded Visual C++
• Microsoft Visual Studio
• Texas Instruments Code Composer
• Wind River Tornado

还有更多：

4.试用

Parasoft C/C++test工具套件同样支持免费试用，可进入官网申请免费试用。

嵌入式专栏

3

PVS-Studio

1.网址

https://pvs-studio.com/en/pvs-studio/

2.介绍

PVS-Studio是用于检测用C，C ++，C＃和Java编写的程序源代码中的错误和安全漏洞的工具。它可以在Windows，Linux和macOS环境中的64位系统下运行，并且可以分析用于32位，64位和嵌入式ARM平台的源代码。

PVS-Studio执行静态代码分析并生成报告，以帮助程序员查找和修复错误。PVS-Studio执行各种代码检查，对于发现打印错误和复制粘贴错误也很有用。比如：V501，V517，V522，V523，V3001等类似错误信息。

3.特点

备注：截图内容为自动翻译，可能存在一些翻译错误。

4.支持广泛平台

操作系统：

• Windows

• Linux

• macOS

使用C/C++编译器对应教程的地址：

https://pvs-studio.com/en/m/0033/

5.试用

PVS-Studio工具套件同样为商业付费软件，但支持免费试用。

嵌入式专栏

4

VectorCAST

1.网址

https://www.vector.com/de/en/products/products-a-z/software/vectorcast/

2.介绍

VectorCAST嵌入式软件测试平台是一系列产品，可在整个软件开发生命周期内自动执行分析和测试。

VectorCAST工具系列支持测试用例的创建和管理，以验证底层软件。此外，VectorCAST工具支持在DO-178C和ED-12C规定的所有级别（包括A级）上捕获和报告结构代码覆盖率数据。

应用于：航天航空、汽车、工业、医疗、轨道交通等领域。

软件关键级别和结构覆盖要求：

3.特点

• 支持DO-178C要求的所有级别的代码覆盖范围；ED-12C

• 自动生成和编译完整的测试存根和驱动程序

• 自动回归测试

• 符合标准的测试报告生成

• 在主机，模拟器和嵌入式目标系统上测试执行

4.试用

VectorCAST工具套件同样为商业付费软件，但支持免费试用。

最后，篇幅有限，先推荐这些，还有更多静态分析工具，后期为大家分享。

------------ END ------------

后台回复『软件工具』『嵌入式软件设计与开发』阅读更多相关文章。

欢迎关注我的公众号，回复“加群”按规则加入技术交流群，回复“1024”查看更多内容。

欢迎关注我的视频号：

点击“阅读原文”查看更多分享，欢迎点分享、收藏、点赞、在看。